program verification câu

• That was the first time I learned about program verification, I guess.
  Là lần đầu tiên biết thế nào là viết kiểm điểm
• Program verification: To err is human
  Chương trình dịch sách 2 : TO ERR IS HUMAN
• Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
  Port 0 cũng nhận các byte mã trong khi lập trình cho Flash và xuất các byte mã trong khi kiểm tra chương trình.
• Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
  Port 0 cũng nhận các byte code (byte mã chương trình) khi lập trình Flash, và xuất ra các byte code khi kiểm tra chương trình.
• 1 APPROACHES TO SOFTWARE TESTING PROGRAM VERIFICATION AND VALIDATION Validation: Are we building the right product?
  Phân tích yêu cầu phần mềm Verification and Validation Kiểm chứng (Validation) Problem “Chúng ta đã xây dựng đúng hệ thống ?”